Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·6h·
Discuss: DEV
📐Error Bounds
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·7h
📋Protocol Buffers
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·23m
📊Graph Databases
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Encrypting identifiers in practice
sjoerdlangkemper.nl·9h
🌊Stream Ciphers
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Waiting for SQL:202y: Vectors
peter.eisentraut.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Storage
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·40m·
Discuss: DEV
🧠Machine Learning
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Online high-precision prediction method for injection molding product weight by integrating time series/non-time series mixed features and feature attention mec...
arxiv.org·10h
🧠Machine Learning
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects